<html>
<head><meta charset="utf-8"><title>const generics work · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html">const generics work</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="195767874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195767874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sebastian Malton <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195767874">(Apr 29 2020 at 20:48)</a>:</h4>
<p>Hello, I am interested in helping work on const generics support in <code>rustc</code>. Does anyone know who I should talk to?</p>



<a name="195768760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195768760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195768760">(Apr 29 2020 at 20:56)</a>:</h4>
<p>I recommend <span class="user-mention" data-user-id="121053">@varkor</span> and <span class="user-mention" data-user-id="119009">@eddyb</span>, both don't have a lot of time rn IIRC.</p>



<a name="195769037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195769037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195769037">(Apr 29 2020 at 20:58)</a>:</h4>
<p>I should also be able to help you out in most cases, so feel free to ask if you want to know anything specific</p>



<a name="195769185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195769185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sebastian Malton <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195769185">(Apr 29 2020 at 20:59)</a>:</h4>
<p>Thanks for the reply, would just looking at the issues on the rust-lang/rust repo be a good place to start?</p>



<a name="195769296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195769296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195769296">(Apr 29 2020 at 21:00)</a>:</h4>
<p>Not really <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>



<a name="195769348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195769348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195769348">(Apr 29 2020 at 21:00)</a>:</h4>
<p>most issues are currently either blocked or will be fixed by lazy normalization, const well formedness or const in type dependent paths</p>



<a name="195769390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195769390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195769390">(Apr 29 2020 at 21:01)</a>:</h4>
<p>const wf: <a href="https://github.com/rust-lang/rust/pull/70107" title="https://github.com/rust-lang/rust/pull/70107">https://github.com/rust-lang/rust/pull/70107</a></p>



<a name="195769406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195769406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195769406">(Apr 29 2020 at 21:01)</a>:</h4>
<p>type dependent paths: <a href="https://github.com/rust-lang/rust/pull/71154" title="https://github.com/rust-lang/rust/pull/71154">https://github.com/rust-lang/rust/pull/71154</a></p>



<a name="195769523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195769523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195769523">(Apr 29 2020 at 21:02)</a>:</h4>
<p>lazy normalization: <a href="https://github.com/rust-lang/rust/pull/67890" title="https://github.com/rust-lang/rust/pull/67890">https://github.com/rust-lang/rust/pull/67890</a></p>



<a name="195770050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195770050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195770050">(Apr 29 2020 at 21:06)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/70507#issuecomment-615268893" title="https://github.com/rust-lang/rust/issues/70507#issuecomment-615268893">https://github.com/rust-lang/rust/issues/70507#issuecomment-615268893</a> should be doable at the moment, but I don't know how difficult this will be.</p>



<a name="195770144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195770144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195770144">(Apr 29 2020 at 21:07)</a>:</h4>
<p>this is a spurious warning which is related, I looked into this and at least to me the problem was not directly obvious so it is probably also not that easy to fix <a href="https://github.com/rust-lang/rust/issues/70225" title="https://github.com/rust-lang/rust/issues/70225">https://github.com/rust-lang/rust/issues/70225</a></p>



<a name="195770318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195770318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195770318">(Apr 29 2020 at 21:08)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/68104" title="https://github.com/rust-lang/rust/issues/68104">https://github.com/rust-lang/rust/issues/68104</a> is also unrelated, but is also not that easy</p>



<a name="195770524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195770524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195770524">(Apr 29 2020 at 21:10)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/66451" title="https://github.com/rust-lang/rust/issues/66451">https://github.com/rust-lang/rust/issues/66451</a> is both fairly self contained and helpful</p>



<a name="195771009"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195771009" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195771009">(Apr 29 2020 at 21:14)</a>:</h4>
<p>That's all I can think of at the moment, I believe that all other issues can't be fixed right now.</p>



<a name="195771080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/const%20generics%20work/near/195771080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sebastian Malton <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/const.20generics.20work.html#195771080">(Apr 29 2020 at 21:15)</a>:</h4>
<p>Thanks, I'll take a look at 66451 probably</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>